f::int->int->int->int
f x y z= x*(y+z)

bindTwo::(int->int->int->int)->(int->int->int)
bindTwo ff = ff 2 

maint::int
maint = bindTwo f 1 1